翻訳と辞書
Words near each other
・ Programming interview
・ Programming language
・ Programming Language Design and Implementation
・ Programming Language for Business
・ Programming language generations
・ Programming language implementation
・ Programming language reference
・ Programming language specification
・ Programming language theory
・ Programming languages used in most popular websites
・ Programming Linux Games
・ Programming Metadata Communication Protocol
・ Programming paradigm
・ Programming Perl
・ Programming productivity
Programming Research Group
・ Programming Research Limited
・ Programming Ruby
・ Programming Station
・ Programming style
・ Programming team
・ Programming the Nation?
・ Programming the Universe
・ Programming the Z80
・ Programming tool
・ Programming with Big Data in R
・ Programs Evaluation Office
・ Programs of political parties in Armenia
・ Prograph
・ Prographularia


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Programming Research Group : ウィキペディア英語版
Programming Research Group
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.
The PRG was founded by Christopher Strachey in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG:
The PRG was a centre of excellence in the field of formal methods, playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language). It won Queen's Awards with IBM and Inmos for work in this area.
==References==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Programming Research Group」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.